Madness: a package for Multivariate Automatic Differentiation

TaylUR 3, a multivariate arbitrary-order automatic differentiation package for Fortran 95

ZpL: a p-adic precision package

We present a new package ZpL for the mathematical software system SageMath. It implements a sharp tracking of precision on p-adic numbers, following the theory of ultrametric precision introduced in [4]. The underlying algorithms are mostly based on automatic differentiation techniques. We introduce them, study their complexity and discuss our design choices. We illustrate the benefits of our p...

Users Guide for SnadiOpt: A Package Adding Automatic Differentiation to Snopt

SnadiOpt is a package that supports the use of the automatic differentiation package ADIFOR with the optimization package Snopt. Snopt is a general-purpose system for solving optimization problems with many variables and constraints. It minimizes a linear or nonlinear function subject to bounds on the variables and sparse linear or nonlinear constraints. It is suitable for large-scale linear an...

Expanding Examples of Madness According to the Concept and Criterion of Madness Perspective of Jurisprudence, Law and Psychology

Background and aim: Madness is a subject that has long been the subject of legal attention. Today, Industrial societies are confronted with a phenomenon called mental disorders and those with such disease which unfortunately is increasing day by day. Obviously, laws over time for scientific advances need to be reformed. This article explores the legal status and the way in which mental patients...

Efficient Expression Templates for Operator Overloading-based Automatic Differentiation

Expression templates are a well-known set of techniques for improving the efficiency of operator overloading-based forward mode automatic differentiation schemes in the C++ programming language by translating the differentiation from individual operators to whole expressions. However standard expression template approaches result in a large amount of duplicate computation, particularly for larg...